\{$a$:$T$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$x$:$T$$\mid$ $x$ $=$ $a$ $\in$ $T$ \}